proof of partial correctness - Fransızca İngilizce Sözlük